Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🏗️Constructive Logic
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·13h·
Discuss: Hacker News
🎯Interactive Provers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·19h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Students, here are 5 key things to know when learning how to train large language models
techradar.com·17h
💻Local LLMs
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·6h
🌳Context free grammars
How far can reasoning models scale?
epoch.ai·7h·
Discuss: Hacker News
🧮SMT Solvers
Machine Learning Fundamentals: decision trees project
dev.to·19h·
Discuss: DEV
🔗Topological Sorting
Asymmetry of Verification and Verifier's Law
jasonwei.net·9h·
Discuss: Hacker News
🔮Proof Search
A Minimal DDPM
github.com·8h·
Discuss: Hacker News
🧠Machine Learning
Billions of Edges per Second with Postgres
onesparse.com·16h·
Discuss: Hacker News
🗜️Graph Compression
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Hierarchical Modeling (H-Nets)
cartesia.ai·15h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·6h
🎯Performance Proofs
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·17h
🧮Kolmogorov Bounds
A distributed systems reliability glossary
antithesis.com·19h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Finding Order-Preserving Subgraphs
arxiv.org·6h
🕸️Graph Algorithms
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·6h
✨Effect Handlers
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis